|
|
| |
A concise introduction to mathematical logic /
by Rautenberg, Wolfgang.
Publication:
New York, NY : Springer, 2010
. xxi, 319 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
A course in mathematical logic for mathematicians /
by Manin, IU. I.
Publication:
New York : Springer, 2010
. xvii, 384 p. :
25 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
A science of operations : , machines, logic and the invention of programming /
by Priestley, Mark.
Publication:
New York : Springer, 2011
. ix, 341p. ;
25 cm.
Date:2011
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Automated deduction, CADE-20 : , 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. xiii, 457 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
